-
1 inconsistent formula
Математика: противоречивая формула -
2 inconsistent formula
English-Russian scientific dictionary > inconsistent formula
-
3 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
4 противоречивая формула
Большой англо-русский и русско-английский словарь > противоречивая формула
-
5 противоречивая формула
Mathematics: contradictory formula, inconsistent formulaУниверсальный русско-английский словарь > противоречивая формула
-
6 противоречивая формула
contradictory formula мат., inconsistent formulaРусско-английский научно-технический словарь Масловского > противоречивая формула
-
7 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
8 не соответствовать
•The experimental evidence is inconsistent with the "expected" formula.
Русско-английский научно-технический словарь переводчика > не соответствовать
-
9 estimate
оценка || оценивать- a-priori estimate
- asymptotically efficient estimate
- Bayes estimate
- biased estimate
- bispectral estimate
- conditional maximum likelihood estimate
- consistent estimate
- efficient estimate
- exact maximum likelihood estimate
- formula estimate
- inconsistent estimate
- joint efficient estimate
- joint sufficient estimate
- judgemental estimate
- maximum likelihood estimate
- ML estimate
- non-parametric estimate
- OLS estimate
- ordinary least squares estimate
- point estimate
- pooled estimate of variance
- population estimate
- pulse-pair estimate
- qualitative utility estimates for science and technology
- regression estimate
- regular estimate
- restricted estimate
- sample estimate
- semiparametric estimate
- subjective estimate
- sufficient estimate
- superconsistent estimate
- unbiased estimate
- visual estimate
- waveform estimate
- windowed estimate -
10 estimate
оценка || оценивать- approximate estimate
- asymptotically efficient estimate
- Bayes estimate
- biased estimate
- bispectral estimate
- conditional maximum likelihood estimate
- consistent estimate
- efficient estimate
- exact maximum likelihood estimate
- formula estimate
- inconsistent estimate
- joint efficient estimate
- joint sufficient estimate
- judgemental estimate
- maximum likelihood estimate
- ML estimate
- non-parametric estimate
- OLS estimate
- ordinary least squares estimate
- point estimate
- pooled estimate of variance
- population estimate
- pulse-pair estimate
- qualitative utility estimates for science and technology
- regression estimate
- regular estimate
- restricted estimate
- sample estimate
- semiparametric estimate
- subjective estimate
- sufficient estimate
- superconsistent estimate
- unbiased estimate
- visual estimate
- waveform estimate
- windowed estimateThe New English-Russian Dictionary of Radio-electronics > estimate
-
11 איסרטה
אִיסְרָטָהf. same. Y.B. Bath.VIII, 16c top אינה היא א׳ that is not the proper way (= לא זו הדרך), i. e. it is inconsistent that the same formula should be illegal in the case of a letter of divorce, and legal in the case of a donation. Y.Gitt.VII, 48d אינה איסרתה (corr. acc., and supplement acc. to Y. B. Bath. l. c.). -
12 אִיסְרָטָה
אִיסְרָטָהf. same. Y.B. Bath.VIII, 16c top אינה היא א׳ that is not the proper way (= לא זו הדרך), i. e. it is inconsistent that the same formula should be illegal in the case of a letter of divorce, and legal in the case of a donation. Y.Gitt.VII, 48d אינה איסרתה (corr. acc., and supplement acc. to Y. B. Bath. l. c.).
См. также в других словарях:
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Zeiss formula — In photographic optics, the so called Zeiss formula is sometimes said to be used for computing a circle of confusion (CoC) criterion for depth of field (DOF) calculations. The formula is c = d/1730, where d is the diagonal measure of a camera… … Wikipedia
Benjamin Graham formula — In The Intelligent Investor , Benjamin Graham describes a formula he used to value stocks. He disregarded complicated calculations and kept his formula simple. In his words: “Our study of the various methods has led us to suggest a foreshortened… … Wikipedia
Organic infant formula — Organic infant formulas are synthetic substitutes to natural breast milk. Organic formulas, as well as other organic foods, manufactured in the United States must be meet specific conditions regulated by the United States Department of… … Wikipedia
consistent/inconsistent — Intuitively a group of propositions is consistent if they could all be true together. In formal logic various other notions are defined. A system is consistent if it does not yield both a formula and its negation, or consistent if not all well… … Philosophy dictionary
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia